Любая многозначная зависимость определяется каким-то из Супер ключей

Добавляя что-то 1, мы обязаны добавить что-то 2е

3+ атрибута, есть попарные зависимости, независимо от 3го

Не защищает от локальных ошибок. Защищает от нарушения глобальных правил.

Большинство из 3нф будет в 4нф